Susan Stepney : rechercher sur Z-Library

Année:

2018

Langue:

english

Fichier:

PDF, 183 KB

english, 2018

Narrating Complexity ||

Atkinson, Timothy, Plump, Detlef, Stepney, Susan

Année:

2018

Langue:

english

Fichier:

PDF, 6.48 MB

english, 2018

Horizontal gene transfer for recombining graphs

Journal:

Genetic Programming and Evolvable Machines

Année:

2020

Langue:

english

Fichier:

PDF, 2.04 MB

english, 2020

MetaChem: An Algebraic Framework for Artificial Chemistries

Rainford, Penelope Faulkner, Sebald, Angelika, Stepney, Susan

Journal:

Artificial Life

Année:

2020

Fichier:

PDF, 1.11 MB

2020

Annotated Z bibliography

Jonathan Bowen, Susan Stepney, Rosalind Barden

Journal:

Information and Software Technology

Année:

1995

Langue:

english

Fichier:

PDF, 1.97 MB

english, 1995

Journeys in non-classical computation II: initial journeys and waypoints

Stepney, Susan, Braunstein, Samuel L., Clark, John A., Tyrrell, Andy, Adamatzky, Andrew, Smith, Robert E., Addis, Tom, Johnson, Colin, Timmis, Jonathan, Welch, Peter, Milner, Robin, Partridge, Derek

Journal:

International Journal of Parallel Emergent and Distributed Systems

Année:

2006

Langue:

english

Fichier:

PDF, 351 KB

english, 2006

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties

Banach, Richard, Poppleton, Michael, Jeske, Czeslaw, Stepney, Susan

Année:

2006

Langue:

english

Fichier:

PDF, 431 KB

english, 2006

Searching for highly entangled multi-qubit states

Brown, Iain D K, Stepney, Susan, Sudbery, Anthony, Braunstein, Samuel L

Journal:

Journal of Physics A: Mathematical and General Physics

Année:

2005

Langue:

english

Fichier:

PDF, 249 KB

english, 2005

Defining and simulating open-ended novelty: requirements, guidelines, and challenges

Banzhaf, Wolfgang, Baumgaertner, Bert, Beslon, Guillaume, Doursat, René, Foster, James A., McMullin, Barry, de Melo, Vinicius Veloso, Miconi, Thomas, Spector, Lee, Stepney, Susan, White, Roger

Journal:

Theory in Biosciences

Année:

2016

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2016

Teaching post-classical computation

Stepney, Susan

Journal:

ACM SIGCSE Bulletin

Année:

2004

Langue:

english

Fichier:

PDF, 119 KB

english, 2004

A conceptual and computational framework for modelling and understanding the non-equilibrium gene regulatory networks of mouse embryonic stem cells

Greaves, Richard B., Dietmann, Sabine, Smith, Austin, Stepney, Susan, Halley, Julianne D., Markel, Scott

Journal:

PLoS Computational Biology

Année:

2017

Langue:

english

Fichier:

PDF, 3.10 MB

english, 2017

[Lecture Notes in Computer Science] Unconventional Computation and Natural Computation Volume 10867 ||

Stepney, Susan, Verlan, Sergey

Année:

2018

Langue:

english

Fichier:

PDF, 12.71 MB

english, 2018

[Lecture Notes in Computer Science] Unconventional Computation and Natural Computation Volume 10867 || Word Blending in Formal Languages: The Brangelina Effect

Stepney, Susan, Verlan, Sergey

Année:

2018

Langue:

english

Fichier:

PDF, 448 KB

english, 2018

Narrating Complexity || (Gardening) Gardening: A Relational Framework for Complex Thinking About Complex Systems

Année:

2018

Langue:

english

Fichier:

PDF, 1.75 MB

english, 2018

Narrating Complexity || Narrative Experiences of History and Complex Systems

Année:

2018

Langue:

english

Fichier:

PDF, 329 KB

english, 2018

Narrating Complexity || Time Will Tell: Narrative Expressions of Time in a Complex World

Année:

2018

Langue:

english

Fichier:

PDF, 255 KB

english, 2018

Narrating Complexity || Narrative and Cognitive Modelling: Insights from Beckett Exploring Mind’s Complexity

Année:

2018

Langue:

english

Fichier:

PDF, 273 KB

english, 2018

Narrating Complexity || When Robots Tell Each Other Stories: The Emergence of Artificial Fiction

Année:

2018

Langue:

english

Fichier:

PDF, 336 KB

english, 2018

Narrating Complexity || Discussion and Comment (Sense and Wonder)

Année:

2018

Langue:

english

Fichier:

PDF, 100 KB

english, 2018

Narrating Complexity || Closure, Observation and Coupling: On Narrative and Autopoiesis

Stepney, Susan, Beckman, Pete, Sayama, Hiroki

Année:

2018

Langue:

english

Fichier:

PDF, 330 KB

english, 2018

[IEEE 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) - Washington, DC, USA (2020.8.17-2020.8.21)] 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) - [Keynotes - 3 abstracts]

Année:

2020

Fichier:

PDF, 110 KB

2020

The representational entity in physical computing

Stepney, Susan, Kendon, Viv

Journal:

Philip Garnett, Arno Steinacher, Susan Stepney, Richard Clayton, Ottoline Leyser

Année:

2020

Fichier:

PDF, 682 KB

2020

Computer simulation: The imaginary friend of auxin transport biology

Journal:

BioEssays

Année:

2010

Langue:

english

Fichier:

PDF, 400 KB

english, 2010

Emergent Properties Do Not Refine

Fiona Polack, Susan Stepney

Journal:

Nuno Amálio, Fiona Polack, Susan Stepney

Année:

2005

Langue:

english

Fichier:

PDF, 265 KB

english, 2005

Frameworks Based on Templates for Rigorous Model-driven Development

Journal:

Physica D: Nonlinear Phenomena

Année:

2007

Langue:

english

Fichier:

PDF, 418 KB

english, 2007

The neglected pillar of material computation

Susan Stepney

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 511 KB

english, 2008

Refactoring in Maintenance and Development of Z Specifications and Proofs

Susan Stepney, Fiona Polack, Ian Toyn

Journal:

Formal Aspects of Computing

Année:

2002

Langue:

english

Fichier:

PDF, 171 KB

english, 2002

A demonstrably correct compiler

Susan Stepney, Dave Whitley, David Cooper, Colin Grant

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 1.66 MB

english, 1991

The design of S-boxes by simulated annealing

John A. Clark, Jeremy L. Jacob, Susan Stepney

Journal:

New Generation Computing

Année:

2005

Langue:

english

Fichier:

PDF, 851 KB

english, 2005

The certification of the Mondex electronic purse to ITSEC Level E6

Jim Woodcock, Susan Stepney, David Cooper, John Clark, Jeremy Jacob

Journal:

Formal Aspects of Computing

Année:

2008

Langue:

english

Fichier:

PDF, 202 KB

english, 2008

Editorial for special issue on the interaction between computation and biology

Jon Timmis, Paul Andrews, Susan Stepney

Journal:

John A. Clark, Susan Stepney, Howard Chivers

Année:

2011

Langue:

english

Fichier:

PDF, 102 KB

english, 2011

Breaking the Model: Finalisation and a Taxonomy of Security Attacks

Journal:

Genetic Programming and Evolvable Machines

Année:

2005

Langue:

english

Fichier:

PDF, 249 KB

english, 2005

Book Review: Evolutionary Electronics: Automatic Design of Electronic Circuits and Systems by Genetic Algorithms

Susan Stepney

Journal:

Année:

2004

Langue:

english

Fichier:

PDF, 28 KB

english, 2004

[Lecture Notes in Computer Science] Unconventional Computation Volume 4135 || Graph Machines and Their Applications to Computer-Aided Drug Design: A New Approach to Learning from Structured Data

Calude, Cristian S., Dinneen, Michael J., Păun, Gheorghe, Rozenberg, Grzegorz, Stepney, Susan

Année:

2006

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2006

Formal specification of an access control system

Susan Stepney, Stephen P. Lord

Journal:

Software: Practice and Experience

Année:

1987

Langue:

english

Fichier:

PDF, 903 KB

english, 1987

Preface: EmergeNET4: engineering emergence

Paul S. Andrews, Susan Stepney

Journal:

Fuente, Luis A., Lones, Michael A., Turner, Alexander P., Stepney, Susan, Caves, Leo S., Tyrrell, Andy M.

Année:

2012

Langue:

english

Fichier:

PDF, 120 KB

english, 2012

Computational models of signalling networks for non-linear control

Journal:

Biosystems

Année:

2013

Langue:

english

Fichier:

PDF, 3.22 MB

english, 2013

Atomicity failure and the retrenchment atomicity pattern

Richard Banach, Czesław Jeske, Anthony Hall, Susan Stepney

Journal:

Formal Aspects of Computing

Année:

2013

Langue:

english

Fichier:

PDF, 429 KB

english, 2013

The incorporation of epigenetics in artificial gene regulatory networks

Turner, Alexander P., Lones, Michael A., Fuente, Luis A., Stepney, Susan, Caves, Leo S.D., Tyrrell, Andy M.

Journal:

Biosystems

Année:

2013

Langue:

english

Fichier:

PDF, 6.04 MB

english, 2013

[Lecture Notes in Computer Science] Unconventional Computation Volume 4135 || If a Tree Casts a Shadow Is It Telling the Time?

Calude, Cristian S., Dinneen, Michael J., Păun, Gheorghe, Rozenberg, Grzegorz, Stepney, Susan

Année:

2006

Langue:

english

Fichier:

PDF, 296 KB

english, 2006

Special issue on the frontiers of natural computing

Lones, Michael, Tyrrell, Andy, Stepney, Susan, Caves, Leo

Journal:

Lones, Michael A., Turner, Alexander P., Fuente, Luis A., Stepney, Susan, Caves, Leo S. D., Tyrrell, Andy M.

Année:

2013

Langue:

english

Fichier:

PDF, 117 KB

english, 2013

Biochemical connectionism

Journal: